Quantum logic. A brief outline
نویسنده
چکیده
Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical evidence of the quantum world. We give a brief outline of quantum logic, and some of its algebraic properties, such as nondistributivity, whereby emphasis is given to concrete experimental setups related to quantum logical entities. A probability theory based on quantum logic is fundamentally and sometimes even spectacularly different from probabilities based on classical Boolean logic. We give a brief outline of its nonclassical aspects; in particular violations of Boole-Bell type consistency constraints on joint probabilities, as well as the Kochen-Specker theorem, demonstrating in a constructive, finite way the scarcity and even nonexistence of two-valued states interpretable as classical truth assignments. A more complete introduction of the author can be found in the book Quantum Logic
منابع مشابه
nt - p h / 99 02 04 2 v 2 3 1 Ju l 2 00 5 Quantum logic . A brief outline
Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical evidence of the quantum world. We give a brief outline of quantum logic, and some of its algebraic properties, such as nondistributivity, whereby emphasis is gi...
متن کاملEfficient Genetic Based Methods for Optimizing the Reversible and Quantum Logic Circuits
Various synthesis methods have been proposed in the literature for reversible and quantum logic circuits. However, there are few algorithms to optimize an existing circuit with multiple constraints simultaneously. In this paper, some heuristics in genetic algorithms (GA) to optimize a given circuit in terms of quantum cost, number of gates, location of garbage outputs, and delay, are proposed. ...
متن کاملEfficient Genetic Based Methods for Optimizing the Reversible and Quantum Logic Circuits
Various synthesis methods have been proposed in the literature for reversible and quantum logic circuits. However, there are few algorithms to optimize an existing circuit with multiple constraints simultaneously. In this paper, some heuristics in genetic algorithms (GA) to optimize a given circuit in terms of quantum cost, number of gates, location of garbage outputs, and delay, are proposed. ...
متن کاملSufism in the Western History : A Primary Outline
The phenomenon of Western Sufi teachers is unique, not just because of the individuals themselves, though they are certainly fascinating, but because of what they represent: the flowering of the Western genius, which has discovered Eastern traditions, absorbed them and in the process changed them and been changed by them. This paper is a primary outline of the main contours of this phenomenon, ...
متن کاملOptimization of Quantum Cellular Automata Circuits by Genetic Algorithm
Quantum cellular automata (QCA) enables performing arithmetic and logic operations at the molecular scale. This nanotechnology promises high device density, low power consumption and high computational power. Unlike the CMOS technology where the ON and OFF states of the transistors represent binary information, in QCA, data is represented by the charge configuration. The primary and basic devic...
متن کامل